Verification by experiment